A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties

A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making

This paper describes a modeling approach that helps to represent necessary aspects of complex socio-technical systems, such as organization, in an integrated form and provides a simulation technique for analyzing these organisations. An actor-based language is introduced and compared to a conventional simulation approach (Stock-and-Flow) by simulating aspects of a software services company

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Probabilistic Model-Based Safety Analysis

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited types of failure modes or without system dynamics and behavior, as direct quantitative analysis is uses large amounts of computing resources. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis. Accurate modeling of different types of probabilistic failure occurrence is shown as well as accurate interpretation of the results of the analysis. This allows for reliable and expressive assessment of the safety of a system in early design stages

Towards interoperability through inter-enterprise collaboration architectures

Most enterprise architectures published so far are capable of generating reasonably good descriptive models for individual enterprises to enable integration, organization and synchronization of enterprise elements: organizational structure, business processes, information systems and technology infrastructure, among others. However, research in this field applied to the extended enterprise or inter-enterprise architectures that takes into account the growing trend towards complex collaborative environments is very scarce. In this sense, this article seeks to analyze, link and synthesize the researches that has addressed the disciplines of enterprise architecture and business collaboration, in order to identify possible future research needs from the conceptualization made.Vargas, A.; Boza Garcia, A.; Cuenca, L. (2011). Towards interoperability through inter-enterprise collaboration architectures. En On the Move to Meaningful Internet Systems: OTM 2011 Workshops. Springer Verlag (Germany). 7046:102-111. doi:10.1007/978-3-642-25126-9_18S1021117046Adam, O., Hofer, A., Zang, S., Hammer, C., Jerrentrup, M., Leinenbach, S.: A Collaboration Framework for Cross-enterprise Business Process Management. In: First International Conference on Interoperability of Enterprise Software and Application, Geneva (2005)Chalmeta, R., Grangel, R.: ARDIN extension for virtual enterprise integration. The Journal of Systems and Software 67, 141–152 (2003)Choi, Y., Kang, D., Chae, H., Kim, K.: An enterprise architecture framework for collaboration of virtual enterprise chains. The International Journal of Advanced Manufacturing Technology 35, 1065–1078 (2008)Schekkerman, J.: Extended Enterprise Architecture Framework Essentials Guide. Institute For Enterprise Architecture Developments, IFEAD (2006), http://www.enterprise-architecture.info/index.htmISO 15704. Industrial automation systems - Requirements for enterprise-reference architectures and methodologies.: International Organization for Standardization (2000)Kosanke, K., Vernadat, F., Zelm, M.: CIMOSA: Enterprise engineering and integration. Computers in Industry 40, 83–97 (1999)Cuenca, L.: Marco arquitectónico para la propuesta IE-GIP. Extensión de la arquitectura CIMOSA. Aplicación a una empresa del sector cerámico. PhD thesis. Universidad Politécnica de ValenciaMolina, A., Panetto, H., Chen, D., Whitman, L.: Enterprise Integration and Networking: challenges and trends. Studies in Informatics and Control 16(4), 353–368 (2007)Ortiz, A., Lario, F., Ros, L.: Enterprise Integration—Business Processes Integrated Management: a proposal for a methodology to develop Enterprise Integration Programs. Computers in Industry 40, 155–171 (1999)Chalmeta, R., Campos, C., Grangel, R.: References architectures for enterprise integration. The Journal of Systems and Software 57, 175–191 (2001)Vernadat, F.: Enterprise modeling and integration (EMI): Current status and research perspectives. Annual Reviews in Control 26, 15–25 (2002)Williams, T., Li, H.: PERA and GERAM enterprise reference architectures in enterprise integration. Information Infrastructure Systems for Manufacturing, 1–27 (1998)Lankhorst, M.: Enterprise Architecture at Work: Modelling, Communication and Analysis. Springer, Heidelberg (2009)Arango, M., Londoño, J., Zapata, J.: Arquitectura empresarial- Una visión general. Revista Ingenierías Universidad de Medellín 9(16), 101–111 (2010)Bernard, S.: An introduction to enterprise architecture. AuthorHouse, Bloomington (2005)Cuenca, L., Ortiz, A., Boza, A.: Arquitectura de Empresa. Visión General. In: IX Congreso de Ingeniería de Organización, Gijón (2005)Maya, E.: Arquitectura empresarial: un nuevo reto para las empresas de hoy. Centro de Investigación de las Telecomunicaciones. INTERACTIC: Interacción con la información (2010), http://www.interactic.org.co/THE OPEN GROUP.: ARCHIMATE, The Power of Enterprise Architecture (2009), http://www.archimate.org/en/home/Stelzer, D.: Enterprise Architecture Principles: Literature Review and Research Directions. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC/ServiceWave 2009. LNCS, vol. 6275, pp. 12–21. Springer, Heidelberg (2010)Schekkerman, J.: Enterprise architecture validation. Achieving business-aligned and validated enterprise architectures. Institute For Enterprise Architecture Developments, IFEAD (2004), http://www.enterprise-architecture.info/index.htmKosanke, K.: CIMOSA Primer on key concepts, purpose and business value (1996), http://cimosa.cnt.pl/Chen, D., Vallespir, B., Doumeingts, G.: GRAI integrated methodology and its mapping onto generic enterprise reference architecture and methodology. Computers in Industry 33, 387–394 (1997)Rathwell, G.: PERA Enterprise Integration Web Site (2005), http://www.pera.net/Williams, T., Rathwell, G., Li, H.: A handbook on master planning and implementation for enterprise integration programs. PERA Enterprise Integration Web Site (2001), http://www.pera.net/IFIP.: GERAM: Generalised Enterprise Reference Architecture and Methodology. International Federation for Information Processing (1999), http://dl.ifip.org/index.php/index/indexOrtiz, A.: Propuesta para el Desarrollo de Programas de Integración Empresarial en Empresas Industriales. Aplicación a una Empresa del Sector Cerámico. Universidad Politécnica de Valencia (1998)Cuenca, L., Boza, A., Ortiz, A.: Architecting business and IS/IT strategic alignment for extend enterprises. Studies in Informatics and Control 20(1), 7–18 (2011)The Open Group (2011), https://www.opengroup.org/index.htmGrangel, R.: Propuesta para el Modelado del Conocimiento Empresarial. PhD thesis Universidad Jaume I de Castello (2007)Scheer, A., Schneider, K.: ARIS – Architecture of Integrated Information. Handbook on Architectures of Information Systems. International Handbooks on Information Systems 3, 605–623 (2006)ISO/CEN 19439. Enterprise integration - Framework for enterprise modelling.: International Organization for Standardization (2006)Stadtler, H., Kilger, C.: Supply Chain Management and advance planning. Concepts, Models, Sofware and Cases Studies. Springer, Heidelberg (2002)Alarcón, F., Ortiz, A., Alemany, M., Lario, F.: Planificación Colaborativa en un contexto de varias Cadenas de Suministro: ventajas y desventajas. In: VIII Congreso de Ingeniería de Organización, Leganés, pp. 857–866 (2004)Alarcón, F.: Desarrollo de una Arquitectura para la definición del proceso de Comprometer Pedidos en contextos de Redes de Suministro Colaborativas. Aplicación a una Red compuesta por Cadenas de Suministro en los Sectores Cerámico y del Mueble. PhD thesis Universidad Politécnica de Valencia (2005)Petersen, K., Ragatz, G., Monczka, R.: An Examination of Collaborative Planning Effectiveness and Supply Chain Performance. The Journal of Supply Chain Management 41(2), 14–25 (2005)Ribas, I., Companys, R.: Estado del arte de la planificación colaborativa en la cadena de suministro: Contexto determinista e incierto. Intangible Capital, 91–121 (2007)Ribas, I., Lario, F., Companys, R.: Modelos para la planificación colaborativa en la cadena de suministro: contexto determinista e incierto. In: Congreso de ingeniería de organización, Valencia, pp. 1–10 (2006)Dudek, G.: Collaborative Planning in Supply Chains. Supply Chain Management and Collaborative Planning. Springer, Heidelberg (2009)Stadtler, H.: A framework for collaborative planning and state-of-the-art. OR Spectrum 31, 5–30 (2009)Kilger, C., Reuter, B., Stadtler, H.: Collaborative Planning. In: Stadtler, H., Kilger, C. (eds.) Supply Chain Management and Advanced Planning-—Concepts, Models Software and Case Studies, pp. 263–284. Springer, Heidelberg (2008)Audy, J., Lehoux, N., D’Amours, S.: A framework for an efficient implementation of logistics collaborations. International Transactions in Operational Research, 1–25 (2010)Zachman, J.: A Framework for Information Systems Architecture. IBM Systems Journal 26(3), 454–470 (1987

An enterprise engineering approach for the alignment of business and information technology strategy

Information systems and information technology (IS/IT, hereafter just IT) strategies usually depend on a business strategy. The alignment of both strategies improves their strategic plans. From an external perspective, business and IT alignment is the extent to which the IT strategy enables and drives the business strategy. This article reviews strategic alignment between business and IT, and proposes the use of enterprise engineering (EE) to achieve this alignment. The EE approach facilitates the definition of a formal dialog in the alignment design. In relation to this, new building blocks and life-cycle phases have been defined for their use in an enterprise architecture context. This proposal has been adopted in a critical process of a ceramic tile company for the purpose of aligning a strategic business plan and IT strategy, which are essential to support this process. © 2011 Taylor & Francis.Cuenca, L.; Boza, A.; Ortiz, A. (2011). An enterprise engineering approach for the alignment of business and information technology strategy. International Journal of Computer Integrated Manufacturing. 24(11):974-992. https://doi.org/10.1080/0951192X.2011.579172S9749922411(1993). CIMOSA: Open System Architecture for CIM. doi:10.1007/978-3-642-58064-2Ang, J., Shaw, N., & Pavri, F. (1995). Identifying strategic management information systems planning parameters using case studies. International Journal of Information Management, 15(6), 463-474. doi:10.1016/0268-4012(95)00049-dAvison, D., Jones, J., Powell, P., & Wilson, D. (2004). Using and validating the strategic alignment model. The Journal of Strategic Information Systems, 13(3), 223-246. doi:10.1016/j.jsis.2004.08.002Avgerou, & McGrath. (2007). Power, Rationality, and the Art of Living through Socio-Technical Change. MIS Quarterly, 31(2), 295. doi:10.2307/25148792Bergeron, F., Raymond, L., & Rivard, S. (2004). Ideal patterns of strategic alignment and business performance. Information & Management, 41(8), 1003-1020. doi:10.1016/j.im.2003.10.004Bernus, P., Nemes, L., & Schmidt, G. (Eds.). (2003). Handbook on Enterprise Architecture. doi:10.1007/978-3-540-24744-9Bleistein, S. J., Cox, K., Verner, J., & Phalp, K. T. (2006). B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and process. Information and Software Technology, 48(9), 846-868. doi:10.1016/j.infsof.2005.12.001Buchanan, S., & Gibb, F. (1998). The information audit: An integrated strategic approach. International Journal of Information Management, 18(1), 29-47. doi:10.1016/s0268-4012(97)00038-8Buchanan, S., & Gibb, F. (2007). The information audit: Role and scope. International Journal of Information Management, 27(3), 159-172. doi:10.1016/j.ijinfomgt.2007.01.002Chen, D., & Vernadat, F. (2004). Standards on enterprise integration and engineering—state of the art. International Journal of Computer Integrated Manufacturing, 17(3), 235-253. doi:10.1080/09511920310001607087Chen, D., Doumeingts, G., & Vernadat, F. (2008). Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry, 59(7), 647-659. doi:10.1016/j.compind.2007.12.016Chen, H.-M., Kazman, R., & Garg, A. (2005). BITAM: An engineering-principled method for managing misalignments between business and IT architectures. Science of Computer Programming, 57(1), 5-26. doi:10.1016/j.scico.2004.10.002Cuenca, L., Ortiz, A., & Vernadat, F. (2006). From UML or DFD models to CIMOSA partial models and enterprise components. International Journal of Computer Integrated Manufacturing, 19(3), 248-263. doi:10.1080/03081070500065841Davis, G. B. (2000). Information Systems Conceptual Foundations: Looking Backward and Forward. IFIP Advances in Information and Communication Technology, 61-82. doi:10.1007/978-0-387-35505-4_5Gindy, N., Morcos, M., Cerit, B., & Hodgson, A. (2008). Strategic technology alignment roadmapping STAR® aligning R&D investments with business needs. International Journal of Computer Integrated Manufacturing, 21(8), 957-970. doi:10.1080/09511920801927148Goethals, F. G., Lemahieu, W., Snoeck, M., & Vandenbulcke, J. A. (2007). The data building blocks of the enterprise architect. Future Generation Computer Systems, 23(2), 269-274. doi:10.1016/j.future.2006.05.004Greefhorst, D., Koning, H., & Vliet, H. van. (2006). The many faces of architectural descriptions. Information Systems Frontiers, 8(2), 103-113. doi:10.1007/s10796-006-7975-xGregor, S., Hart, D., & Martin, N. (2007). Enterprise architectures: enablers of business strategy and IS/IT alignment in government. Information Technology & People, 20(2), 96-120. doi:10.1108/09593840710758031Hartono, E., Lederer, A. L., Sethi, V., & Zhuang, Y. (2003). Key predictors of the implementation of strategic information systems plans. ACM SIGMIS Database, 34(3), 41-53. doi:10.1145/937742.937747Henderson, J. C., & Venkatraman, H. (1993). Strategic alignment: Leveraging information technology for transforming organizations. IBM Systems Journal, 32(1), 472-484. doi:10.1147/sj.382.0472Hirschheim, R., & Sabherwal, R. (2001). Detours in the Path toward Strategic Information Systems Alignment. California Management Review, 44(1), 87-108. doi:10.2307/41166112Hoogervorst, J. A. P. (2009). Enterprise Governance and Enterprise Engineering. doi:10.1007/978-3-540-92671-9Johnson, A. M., & Lederer, A. L. (2010). CEO/CIO mutual understanding, strategic alignment, and the contribution of IS to the organization. Information & Management, 47(3), 138-149. doi:10.1016/j.im.2010.01.002JONKERS, H., LANKHORST, M., VAN BUUREN, R., HOPPENBROUWERS, S., BONSANGUE, M., & VAN DER TORRE, L. (2004). CONCEPTS FOR MODELING ENTERPRISE ARCHITECTURES. International Journal of Cooperative Information Systems, 13(03), 257-287. doi:10.1142/s0218843004000985King, W. R. (1978). Strategic Planning for Management Information Systems. MIS Quarterly, 2(1), 27. doi:10.2307/249104Leonard, J. (2007). Sharing a Vision: comparing business and IS managers’ perceptions of strategic alignment issues. Australasian Journal of Information Systems, 15(1). doi:10.3127/ajis.v15i1.299Luftman, J. N., Lewis, P. R., & Oldach, S. H. (1993). Transforming the enterprise: The alignment of business and information technology strategies. IBM Systems Journal, 32(1), 198-221. doi:10.1147/sj.321.0198Luftman, J., Ben-Zvi, T., Dwivedi, R., & Rigoni, E. H. (2010). IT Governance. International Journal of IT/Business Alignment and Governance, 1(2), 13-25. doi:10.4018/jitbag.2010040102Melville, Kraemer, & Gurbaxani. (2004). Review: Information Technology and Organizational Performance: An Integrative Model of IT Business Value. MIS Quarterly, 28(2), 283. doi:10.2307/25148636Newkirk, H. E., & Lederer, A. L. (2006). Incremental and Comprehensive Strategic Information Systems Planning in an Uncertain Environment. IEEE Transactions on Engineering Management, 53(3), 380-394. doi:10.1109/tem.2006.877446Noran, O. (2003). An analysis of the Zachman framework for enterprise architecture from the GERAM perspective. Annual Reviews in Control, 27(2), 163-183. doi:10.1016/j.arcontrol.2003.09.002Noran, O. (2005). A systematic evaluation of the C4ISR AF using ISO15704 Annex A (GERAM). Computers in Industry, 56(5), 407-427. doi:10.1016/j.compind.2004.12.005Ortiz, A., Lario, F., & Ros, L. (1999). Enterprise Integration—Business Processes Integrated Management: a proposal for a methodology to develop Enterprise Integration Programs. Computers in Industry, 40(2-3), 155-171. doi:10.1016/s0166-3615(99)00021-4Panetto, H., Baïna, S., & Morel, G. (2007). Mapping the IEC 62264 models onto the Zachman framework for analysing products information traceability: a case study. Journal of Intelligent Manufacturing, 18(6), 679-698. doi:10.1007/s10845-007-0040-xPapp, R. (Ed.). (2001). Strategic Information Technology. doi:10.4018/978-1-87828-987-2Peñaranda, N., Mejía, R., Romero, D., & Molina, A. (2010). Implementation of product lifecycle management tools using enterprise integration engineering and action-research. International Journal of Computer Integrated Manufacturing, 23(10), 853-875. doi:10.1080/0951192x.2010.495136Reich, B. H., & Benbasat, I. (2000). Factors That Influence the Social Dimension of Alignment between Business and Information Technology Objectives. MIS Quarterly, 24(1), 81. doi:10.2307/3250980Sledgianowski, D., & Luftman, J. (2005). IT-Business Strategic Alignment Maturity. Journal of Cases on Information Technology, 7(2), 102-120. doi:10.4018/jcit.2005040107Sowa, J. F., & Zachman, J. A. (1992). Extending and formalizing the framework for information systems architecture. IBM Systems Journal, 31(3), 590-616. doi:10.1147/sj.313.0590Van Grembergen, W., & De Haes, S. (2010). A Research Journey into Enterprise Governance of IT, Business/IT Alignment and Value Creation. International Journal of IT/Business Alignment and Governance, 1(1), 1-13. doi:10.4018/jitbag.2010120401Xueying Wang, Xiongwei Zhou, & Longbin Jiang. (2008). A method of business and IT alignment based on Enterprise Architecture. 2008 IEEE International Conference on Service Operations and Logistics, and Informatics. doi:10.1109/soli.2008.468649